Peano, axiomas de

Peano, axiomas de
► MATEMÁTICAS Conjunto de axiomas que definen a los números naturales y permiten construir la aritmética como un sistema hipotético-deductivo. Los cinco axiomas son: 1) La unidad de un número; 2) el sucesivo de un número es otro número; 3) si a y b son dos números cuyos sucesivos son iguales, entonces a y b son iguales; 4) la unidad no tiene ningún número inferior a él, y 5) si C es un conjunto de números que contienen a la unidad y si el conjunto S formado por los sucesivos de los números contenidos en C cumple , entonces todo número está contenido en C.

Enciclopedia Universal. 2012.

Игры ⚽ Нужен реферат?

Mira otros diccionarios:

  • Peano — Peano, axiomas de …   Enciclopedia Universal

  • Axiomas de Peano — Saltar a navegación, búsqueda Los axiomas de Peano o postulados de Peano son un conjunto de axiomas para los números naturales introducidos por Giuseppe Peano en el siglo XIX. Los axiomas se han utilizado prácticamente sin cambios para una… …   Wikipedia Español

  • Axiomas de Peano — Los axiomas de Peano o postulados de Peano definen de manera exacta al conjunto de los números naturales. Fueron establecidos por Peano (1858 1932), matemático italiano, en el siglo XIX. Básicamente, los naturales se pueden construir a partir de… …   Enciclopedia Universal

  • Axiomas de Zermelo-Fraenkel — Los axiomas de Zermelo Fraenkel, formulados por Ernst Zermelo y Adolf Fraenkel, son un sistema axiomático concebido para formular la teoría de conjuntos. Normalmente se abrevian como ZF o en su forma más común, complementados por el axioma de… …   Wikipedia Español

  • Giuseppe Peano — Giuseppe Peano. Nacimiento 27 de agosto de 1858 …   Wikipedia Español

  • Teoremas de incompletitud de Gödel — Kurt Gödel a los 19 años de edad, cinco años antes de la demostración de los teoremas. Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1930. Ambos están relacionados con la… …   Wikipedia Español

  • Espacio vectorial — Saltar a navegación, búsqueda Un espacio vectorial es un conjunto de objetos (llamados vectores) que pueden escalarse y sumarse. Un espacio vectorial (o espacio lineal) es el objeto básico de estudio en la rama de la matemática llamada álgebra… …   Wikipedia Español

  • Número natural — Los números naturales pueden usarse para contar (una manzana, dos manzanas, tres manzanas, …). Un número natural es cualquiera de los números que se usan para contar los elementos de un conjunto. Reciben ese nombre porque fueron los primeros que… …   Wikipedia Español

  • Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …   Wikipedia Español

  • Sistema formal — La noción de sistema formal se utiliza para proporcionar una definición rigurosa del concepto de demostración en lógica y en matemáticas. La noción de sistema formal corresponde a una formalización rigurosa y completa del concepto de sistema… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”